- ситуационное исчисление
- situation calculus
интегральное исчисление — integral calculus
исчисление предикатов — functional calculus
реляционное исчисление — relational calculus
исчисление высказываний — sentential calculus
операционное исчисление — operational calculus
Русско-английский большой базовый словарь. 2014.